Effective decomposability of sequential behaviours
نویسندگان
چکیده
منابع مشابه
On the Effective Jordan Decomposability
The classical Jordan decomposition Theorem says that any real function of bounded variation can be expressed as a difference of two increasing functions. This paper explores the effective version of Jordan decomposition. We give a sufficient and necessary condition for those computable real functions of bounded variation which can be expressed as a difference of two computable increasing functi...
متن کاملEffectively Absolute Continuity and Effective Jordan Decomposability
Classically, any absolute continuous real function is of bounded variation and hence can always be expressed as a difference of two increasing continuous functions (socalled Jordan decomposition). The effective version of this result is not true. In this paper we give a sufficient and necessary condition for computable real functions which can be expressed as two computable increasing functions...
متن کاملA hierarchical control architecture for sequential behaviours
This paper develops a hierarchical control architecture for so called sequential behaviours, i.e. for plant dynamics and specifications that are represented as formal languages of infinite-length words. Our main result is the elaboration of structural properties that (a) allow for abstraction based controller design and that (b) are preserved under closed-loop composition. Thus, we propose to a...
متن کاملDecomposability of Polytopes
We reformulate a known characterization of decomposability of polytopes in a way which may be more computationally convenient, and offer a more transparent proof. We apply it to give new sufficient conditions for indecomposability of polytopes, and then illustrate them with some examples.
متن کاملDecomposability of Multivariate Interactions
Naoki Miyagawa1,2 Hiroshi Teramoto1,3 Chun-Biu Li1,2,4 Tamiki Komatsuzaki1,3,4 1Research Institute for Electronic Science Hokkaido University, Sapporo 001-0020, Japan 2Department of Mathematics Hokkaido University, Sapporo 060-0810, Japan 3Graduate School of Life Science Hokkaido University, Sapporo 060-0810, Japan 4Research Center for Integrative Mathematics Hokkaido University, Sapporo 060-08...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2000
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)00201-1